1. Automated deduction--CADE-22
پدیدآورنده : Renate A. Schmidt (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA76
.
9
.
A96
I57
2009eb
